- 2 402 202 книги
- Поиск
Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009, Revised ... Computer Science and General Issues)
Автор: Amir Pnueli, Автор: Irina Virbitskaite, Автор: Andrei VoronkovКатегория: Компьютеры
Размер книги: 6.95 Mb
Logic for Programming, Artificial Intelligence, and Reasoning
Автор: Edmund M. Clarke, Автор: Andrei VoronkovКатегория: Компьютеры, Программирование
Размер книги: 6.40 Mb
Logic for Programming, Artificial Intelligence, and Reasoning: 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010, ... Computer Science and General Issues)
Автор: Christian G. Fermüller, Автор: Andrei VoronkovКатегория: Компьютеры
Размер книги: 6.94 Mb
Perspectives of Systems Informatics: 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006, Revised Papers ... Computer Science and General Issues)
Автор: Andrei Voronkov, Автор: Irina VirbitskaiteКатегория: Computer Science, Computer Science
Размер книги: 6.90 Mb
Logic for programming and automated reasoning: 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999: proceedings
Автор: Harald Ganzinger, Автор: David McAllester, Автор: Andrei Voronkov
Размер книги: 21.68 Mb
Classical Type Theory, Chapter 15 of Handbook of Automated Reasoning
Автор: Alan Robinson and Andrei VoronkovКатегория: Медицина
Размер книги: 422 Kb
Logic Programming
Автор: Andrei VoronkovКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 4.43 Mb
Rewriting Techniques and Applications, 19 conf., RTA 2008
Автор: Andrei VoronkovКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 4.64 Mb
Logic for Programming, Artificial Intelligence, and Reasoning, 14 conf., LPAR 2007
Автор: Nachum Dershowitz, Автор: Andrei VoronkovКатегория: CsLn_
Размер книги: 5.33 Mb
Perspectives of Systems Informatics, 6 conf., PSI 2006
Автор: Andrei VoronkovКатегория: CsLn_
Размер книги: 5.87 Mb
Logic Programming and Automated Reasoning: 4th International Conference, LPAR'93, St.Petersburg, Russia, July 13-20, 1993. Proceedings
Автор: Andrei Voronkov
Размер книги: 4.02 Mb
Logic Programming and Automated Reasoning: International Conference LPAR '92, St.Petersburg, Russia, July 15-20, 1992. Proceedings
Автор: Andrei Voronkov
Размер книги: 6.42 Mb
Logic for Programming and Automated Reasoning: 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings
Автор: Michel Parigot, Автор: Andrei Voronkov
Размер книги: 5.03 Mb
Automated Deduction - CADE-18: 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 Proceedings
Автор: Andrei Voronkov
Размер книги: 5.44 Mb
Logic for Programming, Artificial Intelligence, and Reasoning: 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings ... / Lecture Notes in Artificial Intelligence
Автор: Moshe Vardi, Автор: Andrei Voronkov
Размер книги: 4.08 Mb
Logic for Programming, Artificial Intelligence, and Reasoning: 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings
Автор: Robert Nieuwenhuis, Автор: Andrei Voronkov
Размер книги: 6.72 Mb
Logic for Programming, Artificial Intelligence, and Reasoning: 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings ... / Lecture Notes in Artificial Intelligence
Автор: Matthias Baaz, Автор: Andrei Voronkov
Размер книги: 4.79 Mb
Transactions and Change in Logic Databases: International Seminar on Logic Databases and the Meaning of Change, Schloss Dagstuhl, Germany, September 23-27, ... Jefferso
Автор: Burkhard Freitag, Автор: Hendrik Decker, Автор: Michael Kifer, Автор: Andrei Voronkov
Размер книги: 6.66 Mb
Computer Science - Theory and Applications: Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7,
Автор: Volker Diekert, Автор: Mikhail Volkov, Автор: Andrei Voronkov
Размер книги: 7.47 Mb
Logic for Programming, Artificial Intelligence, and Reasoning: 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings
Автор: Franz Baader, Автор: Andrei Voronkov
Размер книги: 5.17 Mb
